/* Empty. Add your own CSS if you like */

.ace_content {
  padding: 5px;
}
